#lang racket
(require racket/contract
		 "definition.rkt")

(provide (all-defined-out))

(define next/c
  (-> any/c any))
(define error/c
  (-> error? any))
(define completed/c
  (-> any))


